#!/bin/bash
if [ -z "$*" ]
then
  exec cat
else
  exec grep -i "$@"
fi

